Merge pull request #1902 from jts-arm/romlib
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 21 Mar 2019 12:40:35 +0000 (12:40 +0000)
committerGitHub <noreply@github.com>
Thu, 21 Mar 2019 12:40:35 +0000 (12:40 +0000)
ROMLIB bug fixes


Trivial merge